home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / icon / newsgrp / group02b.txt / 000071_icon-group-sender_Mon Oct 14 07:55:19 2002.msg < prev    next >
Internet Message Format  |  2003-01-02  |  4KB
  1. Return-Path: <icon-group-sender>
  2. Received: (from root@localhost)
  3.     by baskerville.CS.Arizona.EDU (8.11.1/8.11.1) id g9EEtEY07323
  4.     for icon-group-addresses; Mon, 14 Oct 2002 07:55:14 -0700 (MST)
  5. Message-Id: <200210141455.g9EEtEY07323@baskerville.CS.Arizona.EDU>
  6. From: "Shmuel (Seymour J.) Metz" <spamtrap@library.lspace.org.invalid>
  7. X-Newsgroups: comp.lang.icon
  8. Subject: Re: Icon Wish List
  9. Date: Sat, 12 Oct 2002 22:01:24 -0400
  10. Mail-Copies-To: nobody
  11. X-Cise: tanbanso@iinet.net.au
  12. X-CompuServe-Customer: Yes
  13. X-Coriate: admin@interspeed.co.nz
  14. X-Ecrate: tanandtanlawyers.com
  15. X-Punge: Micro$oft
  16. X-Sanguinate: themvsguy@email.com
  17. X-Terminate: SPA(GIS)
  18. X-Tinguish: Mark Griffith <markgriffith@rocketmail.com>
  19. X-Treme: C&C,DWS
  20. X-Newsreader: MR/2 Internet Cruiser Edition for OS/2 v2.31a/31 
  21. X-Complaints-To: abuse@supernews.com
  22. To: icon-group@cs.arizona.edu
  23. Errors-To: icon-group-errors@cs.arizona.edu
  24. Status: RO
  25.  
  26.  
  27. In <aoadds$kjq8u$1@ID-79573.news.dfncis.de>, on 10/13/2002
  28.    at 12:46 AM, "Andrew Hamm" <ahamm@mail.com> said:
  29.  
  30. >I don't think you've understood what I've said. 
  31.  
  32. Au contraire; you have confirmed that I understood what I've said and
  33. that you didn't understand what I said. Typing can be static or
  34. dynamic. Icon uses dynamic typing. I never said that the association
  35. between a variable and a class should be static. I said "The class is
  36. the type.". If the type in Icon is dynamic then clearly you would
  37. expect the association of a variable to a type in a hypothetical OO
  38. Icon to also be dynamic. 
  39.  
  40. >and to me, it follows that class members should not be declared with
  41. >type either. 
  42.  
  43. Why? 
  44.  
  45. >I said "overloaded" not "overridden".
  46.  
  47. So did I.
  48.  
  49. >Since Icon supports untyped arguments,
  50.  
  51. It doesn't. It supports arguments whose type is only known at
  52. execution time. 
  53.  
  54. >it follows
  55.  
  56. No.
  57.  
  58. >Further, any method which cared to handle different args differently
  59.  
  60. Irrelevant; I'm talking about two different methods, with the choice
  61. being determined at run-time based on the classes of the parameters.
  62. That sort of thing is a basic part of the OO paradigm.
  63.  
  64. >Well, no it doesn't. You need to consider how it might be
  65. >implemented
  66.  
  67. Yes it does. I would expect some sort of hash table, which is not
  68. exactly rocket science.
  69.  
  70. >now, how can the compiler determine that arg.M is legal?
  71.  
  72. It probably can't. The run-time environment will determine it. 
  73.  
  74. >The only way to solve this is with a
  75. >runtime check which cross-references the current dynamic type with
  76. >the visibility of M in relation to the context using it. 
  77.  
  78. So what else is new?
  79.  
  80. >Did you say "Bletch!" ?
  81.  
  82. No, you did. I don't agree. There are all sorts of things that can
  83. only be checked at run time.
  84.  
  85. >I want my scripts to complete today, thank-you very much.
  86.  
  87. And I want my scripts to complete correctly, even if they take a
  88. microsecond longer.
  89.  
  90. >I am aiming more for compile-type checking.
  91.  
  92. Which is a more major change than making Icon OO.
  93.  
  94. >I spit on runtime checking
  95.  
  96. >Icon has never demanded specific declarations,
  97.  
  98. Now you've got me really confused. Which is the real Andrew; the one
  99. that wants to do the checking at compile time or the one that notices
  100. that Icon does a lot of things at run time?
  101.  
  102. >Ultimately, you have to remember that Icon is very dynamically
  103. >typed,
  104.  
  105. I remember that, but you seem to be unhappy with it.
  106.  
  107. -- 
  108.      Shmuel (Seymour J.) Metz, SysProg and JOAT
  109.      Atid/2, Team OS/2, Team PL/I
  110.  
  111. Any unsolicited commercial junk E-mail will be subject to legal
  112. action.  I reserve the right to publicly post or ridicule any
  113. abusive E-mail.
  114.  
  115. I mangled my E-mail address to foil automated spammers; reply to
  116. domain Patriot dot net user shmuel+news to contact me.  Do not
  117. reply to spamtrap@library.lspace.org
  118.  
  119.